Add deleted ppmu.h back in