Sledgehammer no longer overwrites a custom exception handler