removing php-coveralls