Uses slashes for install and config directories
Lets coqtop use a slash