try installing gcc 4.7 in travis