Add an include file (needed on Debian unstable)