void Dos2UnixFilename(char *s)
Converts a DOS to a UNIX filename by replacing backslashes with forward slashes.