rename phpcompatinfo.json to avoid confusion with a real file to install (used the phpcompatinfo.json.dist always up-to-date)