Really fix segfault on linux

This should work with release too.