add *.bat as possible extension; fixes #100