Update boost.txt