Adding a finer-grained -bt flag to coqtop only triggering backtraces.
Adding -bt to coqc.