Update debian directory for 4.2