INST: in installer, check if last character of installation path is /. If not, add it.