[vhostmd] [PATCH] Fix build when './configure --enable-xenctrl' is used