slirpvde was in trouble on 64bit architectures (tnx Andrea Arcangeli for the bugfix).