Although the resulting binary still segfaults on my machine, here a fix for the FTBFS that works for me.
Although the resulting binary still segfaults on my machine, here a fix for the FTBFS that works for me.