Fix man pages on linux