fix for different filenames (mar.exe, mbsdiff.exe) under windows