Workaround: copy ion_4.12.h from libion am: 61831749a4 am: 3d825a7e5e
am: 256ba1fd4b

Change-Id: I9301a88473084896279140012ab0964ccf46d797