Adjust PHP provisioning to allow older versions