travis: use static boost