Fixed Windows setup batch script, added a TODO for setup.sh