fix segfault in x86