We may have to retire it, it is quite flakey overall for reasons that
are not worth the bother to work around.