Downgraded version of PHPSpec