Try reverting to GCC 4.8 to prevent STM segfault.