I'm working around this bug in the next version of the CVC3 package by removing kfreebsd-amd64 from the supported architectures of libcvc3-jni. If anybody could provide advice on a proper fix, it would be greatly appreciated.