Not really "solved" because I still have no idea why/how this happened, but I fixed the problem by doing a "make distclean" and just completely rebuilding from scratch on the machine where it wasn't working, and now it works. --Greg