[Dovecot] sievec segfaults

[interfaSys sàrl]

Hello,
sievec segfaults when it reads a file.
I've tried with both the standard and gold linker.
I've tried with various sieve files and they all make it crash.

I've compiled pigeonhole with -ggdb, but I'm not getting much info

Program received signal SIGSEGV, Segmentation fault.
0x0000000800b8e587 in strlen () from /lib/libc.so.7
(gdb) bt full
#0  0x0000000800b8e587 in strlen () from /lib/libc.so.7
No symbol table info available.
#1  0x0000000800a12e8c in str_append () from
/usr/lib/dovecot/libdovecot.so.0
No symbol table info available.
#2  0x000000080077f02d in sieve_binary_save () from
/usr/lib/dovecot/libdovecot-sieve.so.0
No symbol table info available.
#3  0x0000000000605bf0 in environ ()
No symbol table info available.
#4  0x0000000000000000 in ?? ()
No symbol table info available.
#5  0x00007fffffffeb6e in ?? ()
No symbol table info available.
#6  0x0000000000000001 in ?? ()
No symbol table info available.
#7  0x0000000000000000 in ?? ()
No symbol table info available.
#8  0x000000080060878d in ?? () from /libexec/ld-elf.so.1
No symbol table info available.
#9  0x0000000000605cd9 in ?? ()
No symbol table info available.
#10 0x0000000801000ea8 in ?? ()
No symbol table info available.
#11 0x0000000000005008 in ?? ()
No symbol table info available.
#12 0x0000000000000000 in ?? ()
No symbol table info available.
#13 0x0000000801099040 in ?? ()
No symbol table info available.
#14 0x0000000000000000 in ?? ()
No symbol table info available.
#15 0x0000000000000180 in ?? ()
No symbol table info available.
#16 0x0000000000605bf0 in environ ()
No symbol table info available.
#17 0x0000000000000000 in ?? ()
No symbol table info available.
#18 0x00007fffffffeb6e in ?? ()
No symbol table info available.
#19 0x0000000000000001 in ?? ()
No symbol table info available.
#20 0x0000000000000000 in ?? ()
No symbol table info available.
#21 0x0000000000000000 in ?? ()
No symbol table info available.
#22 0x0000000000402f93 in main ()
No symbol table info available.

Cheers,

Olivier