[arch-dev-public] openmpi rebuild