Fix build error

Signed-off-by: Giuseppe Barba <giuseppe.barba@st.com>