travis boost configuration