Update Gentoo box

Hi Gareth,
I've built a new more compact Gentoo box to replace my biggie 2013.01 one.