Maker dependency now complete;
Exonerate now in separate package;
still need to debug maker_conf;