more informative error message if the path to coqtop is not set initially