update index.html with sourceforge files