Change to stable version of phpdocumentor