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