add code for -dcoqpass, -fcoqpass, -ddump-coqpass