civl show -verbose -showProgram -ompNoSimplify -userIncludePath=./m4ri/ -sysIncludePath=./