Try to work around ubuntu gcc-5 ubsan build failure