Getting my build to at least run the positive cases correctly.
Adding a minimalistic example and removing verbose calls from Coqc.