fixup
Show_script called only if in coqtop mode