Use travis boost version