Linux engine fix: man pages