fixed critical memory allocation free() bug
Merge branch 'master' of https://github.com/hlitz/rstm_sitevm_dune