I have fixed this now in the git version, please check it out.
Thanks for noticing this and providing a simple example!
Hi Tiago,
Thank you very much for your super-fast fix! I checked the git version,
and I do not get any segfaults anymore. Back to finding bugs in my code
for now
Best,
Ingo