- try gcc 4.7 instead of 4.8 (internal compiler errors in 4.8 in travis ci)