For user convenience I added comiled versions of bug.n, deliberately without any version number or date, to keep the linking in doc easy.