Use check_whether_file_exists() when encoding a file URI string