Update debian directory which was out of date (Daniel German)