soot: bug fix -> "free" defaults to kilobytes; "free -k" and append k unit to -Xmx