mgalgs theme: remove rvm stuff