reverting php-coveralls changes