[build] fix casting with gcc-7 (debian unstable)
Signed-off-by: Fabio M. Di Nitto <fdinitto@redhat.com>