Workaround: copy ion_4.12.h from libion
am: 61831749a4

Change-Id: I12d7f7deb50b8129481d5fe5881744033b5327ea