eval `opam config env`
make clean
make
./testall.sh -k tests/<some single test>.mc

TODO
- change postfix from .mc to .cp
