bat files fix for 32bit support