Make index.html more portable