Update debian build system