Just use URL encoding for filenames