String toPlatformPath(String pth) { return pth.replaceAll(RegExp(r'[/\\]'), Platform.pathSeparator); }