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

Change-Id: I7e12f2d5984ddcd5ac73c056484d17b0be684101