fix travis setting file