fix travis stuff