Reinstate segfault-handler