Small fix in the directories set up by install.sh