R: changed naming of the downloaded source/binary files