Update debian directory for 4.0