fix a bug that could not load source map, the bug is introduced by the change that jalangi_home directory is specified by the user now