Default to 1.9.3 for rvmrc