Port installed_version to PraghaPreferences.