small change in mars.cmake
Merge branch 'master' of https://github.com/rock-simulation/mars