videos: workaround weird characters in filenames