patch php.inc to have the right download url, apply via the sync_and_patch.sh script