index.html: fix link to source_map