FIX: issue #660 (Running Red the second time in console mode crashes)
Merge branch 'master' of github.com:red/red