fixes building on systems with kFreeBSD kernel