[setup] Give up openmpi for i386