Fix Segmentation fault on Linux.