Make some changes to camlp4 post