relegate printing commands to ~/.coqrc