use gcc >= 4.7 on travis