[Bug 458696] No links in a $PATH folder or man pages for openmpi