fix href in demo.html after file renaming