Clean up ipl/ipl.h