Downgraded the PHPSpec version