Fix release build with broken gcc 4.8