CHANGE: removed deprecated MakeRelease batch script (now uses cmake install
system)