Update debian directory for 3.7