Fix LINT (and static COMPAT_LINUX32) after r332122.