Fix issue #59

These two changes fix the provisioning problems.
(Note: http://pear.phpunit.de/ will also shut down at the end of the year. At some point the PHP environment installation should be changed to use Composer.)