Debug this first FMU to see if the segmentation fault appears in the
exe, rather than the .so