Install GCC 4.8.1 on travis

Is related to #464.