I've put at https://github.com/gradha/dropbox_filename_sanitizerthe 0.2.0 release of a program I use to clean upthe files shared through dropbox. Not all filenames are cross-platform so this program will mangle them to something which will be accepted and synced by hopefully all systems. Tell me if if does eat your hard drive (no hard feelings!).