Fix php-coveralls installation