fix OS-specific file separator