Links for maude-cli