use gcc 4.7 on travis-ci.