Disabled CI builds with GCC for now, as GCC 4.6.3 lacks C++11 support.