Delete PhpLib submodule (to fix a problem)