What characters are allowed in file names?