Make Debian menu work again