install.sh was incosistent with makeexport.sh. It should not be assumed that linux script makeexport.sh only runs on linux. Also it should not be assumed that batch script makeexport.bat only runs on Windows. There is a bug in memory when compiling without -DNDEBUG (race condition)