Fixing kfreebsd failure?