ubuntu upgrade: 13.04 -> 13.10 (13.10 has gcc 4.8 by default which seems to be a requirement now)