fix for multiple MPI include paths passed by MPI wrapper
[unres.git] / git-daemon-export-ok