[Boost-users] Bug: boost 1.42 doesn't download a .lib