Fix GCC 4.8 sabermod toolchain