Don't install phpDocumentor by default