This line is not needed as it is the PHPUnit bootstrap script