0afa439d45
gets fixed later on. Reinstate the mysterious 4th argument to signal handlers and add some comments on that.