Updated to gcc-4.8.0

Added an updated patch for libgcc and updated SAT script