rename files to system specific versions and update index.html