Turns out the problem is that my copy of /usr/src got clobbered by a download of the 7.3 release's copy. Replacing that properly fixed the problem.
-- Joshua A. Coats Unix Systems Administrator Network and Infrastructure, RSSP-IT University of California, Berkeley
pgp9uS20agNF4.pgp
Description: PGP signature