no longer install devel man pages by default