The text 23fc8804dbd9, as Debian 1.3 (Bo) shipped it.
compiler interface to Checker
checkergcc(1) on Linux now
