Try to fix segfault on Linux