Fix provisioning problems

These two changes fix issue #59, 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.)