Update debian menu config