Update debian directory for 4.1.1