Fix the Phing script, adding an updated version