Fix crash with some older GCC versions. Reported in issue #7.