@Dico: While the underlying API to resolve filenames does support Unix style file separators, it's not recommended to use them.

@blaub4r: Check the declaration of the fprintf() function, especially the signature wink

His words are wise, his face is beard.