do we need a .bat to run these tests?