Remove PHP submodule (it only worked for Debian variants, apparently).