Small fix to Linux installer.