Re: openmpi dependency problem?