[opensuse-buildservice] Re: Unexplainable build failure for openmpi