Hi Fabrice,
Is there a way to override this?
You don't want to override it, that'll just delay the inevitable crash.
You need to find out why kpsewhich on your machine, and apparently no
one else's, is getting the floating point exception. Try running gdb
kpsewhich and see where it gets the fault ...
Best,
k