travis: fixing Boost ?