Added missing binaries to Debian includes