/usr/src/lib/libtsol/spec/amd64/