Updated to GCC-4.8.0

Added libgcc patch for gcc-4.8.0 and updated the SAT script