Have travis build boost manually