R: update to version R-3.1.2