Fixed make file
minor #4453 Fixed make file (WouterJ)

This PR was merged into the 2.3 branch.

Discussion
----------

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

Commits
-------

f38bbef Fixed make file