fix debian menu