Gui: own token maker not longer used (doesn't work anyway...)