Update php/config/config_build.json-dist