Update runexample.bat and makefile to Halite name