index.html: fix paths of js files