fix_kfreebsd_ftbfs
