Working around Travis boost version