Remove `stamp-oldxmenu' dependency, so