ides-install-r: Fix installing a non-default version.