quick hack to avoid loading old cached versions of index.html