update Ubuntu to use version R-3.1.2 [ci skip]