This fixes opening files with non-UTF8 sequences in their path (as long
as the file:// URI is %-encoded correctly).