removes signal handling (useless since pivoting is implemented next)
=> restart program in bencher if floating point exception
   takes place