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

Change-Id: Ib478fbf630de9263479b79551a73f15374675952