using wget to get phpcov.phar