gnu: openmpi: Pass explicit "--with-*" configure flags.