Internally UNIX style filenames are always used, but for printing
out it makes sense to use the platform-specific notation.

Added small helper class to detect OS.