repair some bugs in jigdo.exp