[Scitech] openmpi 5.0.0 drops 32-bit support