file name mangling, when tests are submitted from windows