no need for php_code_coverage: true