Also check for GCC 4.{4,5} style int128s