Do not copy ion.h