fixed binary name in phpdoc.json