[Fix #386] This is a hack to fix Ubuntu unwinding