Always (re-)create the php glue files