Correctly set up the paths for Win32 using the options file