Fixed make file

For some reason, the `make.bat` file contained the same contents as `MakeFile`, while it should contain the bash code port of the MakeFile. This PR fixes that