Fix #1457: Fatal errors with PHPUnit 3.6