coqc avoids modifying the filename before passing it to coqtop (except for removing the .v)
Uses slashes for the various install and config directories
Lets coqtop use a slash