html5-ide: add dummy index and fix graceful