fix distcheck

Change-Id: Ib8ce274ee7169c966c5a077f0b16c10138f22e3e
Signed-off-by: Alessandro Salvatori <sandr8@gmail.com>