r11739: As per Jeremy's request, add a panic action for developers. Now configure.in