use lein.bat on windows instead of the lein shell script