@ bin/phpspec-launcher: a bug fixed