travis CI: try to fudge gcc4.7 in again.