Fixed the build on Debian/kfreebsd