Workaround for crash in gcc4.8 on x86