Who will rid me of this troublesome PHP submodule?