Try the method suggested by php-code-coverage