Explorer++

This patch addresses the crash described here in the last E++ release 1.3.4, and also points out one bug in the nightly build. I've built the latest nightly but it has some speed issues along with this same bug. You can fix the nightly build with it too if you want but you'll have to do it manually ...