Update ion-def and pyon pointers