changed CRAN mirror, adding syncdots alias to profile