Reinstated search for if_tun.h in kernel source tree, because apparently