Export the new msm_ion.h header