Add gcc-4.7.3, patch for make