Fix index.html to use the result of psc-make