fix of production code that requires MPI
[unres.git] / git-daemon-export-ok