Workaround: copy ion_4.12.h from libion
am: de9dedb9a4

Change-Id: Ife164955bbc702e06220b014ec7e5177eb0bbfbb