[MacPorts] #38013: boost +openmpi trouble & possible solution