playing around with manual compilation
Merge branch 'new-version' of github.com:mpmilano/consistency-tester into new-version