Workaround: copy ion_4.12.h from libion am: de9dedb9a4 am: c312d9154b
am: 842771c9fd

Change-Id: I85ee335aee3cb3f9327d9e9b72f2130772aeebd3