Remove statics like if_pppx