This fixes "make check-tcg" on a Debian x86_64 host.
Signed-off-by: NStefan Weil <sw@weilnetz.de>
Tested-by: NThomas Huth <thuth@redhat.com>
Message-Id: <20190410194838.10123-1-sw@weilnetz.de>
Signed-off-by: NRichard Henderson <richard.henderson@linaro.org>