- it used to list the options that were enabled in .conf.win32-vcpp, but I removed it. It was out of date, and it's unlikely to stay in sync with the file even if I fix it now.