LIBCHIPMUNK:  Fix compilation with gcc. Fixes #41