Fixed bug where rvm.py used old library name