add missing header files

Signed-off-by: Cedric Hombourger <chombourger@gmail.com>