Fix #3189: use System.Win32.getFullPathName