Travis-CI: Actually, let's use gcc-4.8. Doh!