fix platform-specific path separators (missed in a previous merge)
1 file changed