SERVER-10383 read_pref_cmd.js failed on Windows 64-bit