added libraries for PHPUnit