try to use gcc 4.7 on travis (the ugly way)