Fixes #8229: Fixing RVM gpg key install error on devel installs.