Fix php-code-coverage dependency