fix travis setting for docker