.rvm files sizes differ from different machines