Fix: fail to do make dist due to missing header files

Reported-by: Thomas Dreibholz <dreibh@simula.no>
Signed-off-by: Gregory Detal <gregory.detal@uclouvain.be>