Fix include that prevendet compilation under linux

Signed-off-by: Luca Niccoli <lniccoli@awtech.it>