MintLucre: some cleanup