fix linux tun header