Fix Jenkins' "what is __unused?" error.