More portable encoding of sources in source maps.