mintmenu/configure-stamp