Yep, IIRC Havok’s licensing explicitly disallows redistribution of their technology, including headers and pre-compiled binaries.

Source 1 is a good example here, where licensees of source need to also obtain a havok license before Valve can give them any code.