Le 29/05/2015 21:45, Jørn Erik Mørne a écrit : >> > I have it installed though > So I have compiled and installed the latest trunk on a Mint 17.1 64 bits and on a ArchLinux 32 bits: everything works as expected, no crash at all... Strange! -- Benoît Minisini