[taler-mint] TYPE = simple BINARY = taler-mint-httpd OPTIONS = -d $HOME/mint_config