Rely on stable version of PHPSpec