update to use patched php-coveralls