try to fix travis problems