Win32 build: Don't install boost, since it built anyway