travis boost configuration - rep