Merge pull request #3884 from JosJuice/install-directory-without-version Do not include the Dolphin version in the install directory name
