Improvements in RBEnv installer. Other small improvements.