Fix return type of vde_recv() as well.
[tinc] / src / dummy_device.c
2011-12-04 Guus SliepenAllow linking with multiple device drivers.