build: fix the build

This chagne was unintentionally introduced in commit 59f48f35c48f849c417278594b924eca24d4b2bd

Signed-off-by: Tomasz Grabiec <tgrabiec@cloudius-systems.com>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>