Update debian directory for 4.1