Re: OpenMPI binary only created on 64bit not on 32bit