/usr/src/lib/libipd/amd64/