Workaround gcc-4.8 bug