See the above comment on `HAS_LIBS`.