Fix bat-file name in tests