build.xml: fixed bug with Application.php patching.