better names for the .bat