add further remotes, if desired.
point to upgraded box: ubuntu64-12.04.1 with virtualbox guest addtitions 4.2.6