remove all tools, except php_code_coverage