fix error in eval, auto-download mace4 as needed