Makes dev build again in Travis + manpage fix