[Scitech] Re: openmpi 5.0.0 drops 32-bit support