tweaks to allow running without the Web IDE