If DESTDIR is set, add ${DESTDIR}/usr/libdata to the lint library
search path. This works around the problem of lint using the
wrong lint libraries until a "lint -d ..." equivalent is implemented
for libraries.