some batch script hacks