Fix return type of vde_recv() as well.