properly update jalangi_sourcemap.json with multiple input files