Segfaults potentially related to 32-bit libraries