Patch to fix FTBFS on kBSD64