RFC1213-MIB(7) on Linux

The text 24bcc0ca50ef, as Debian 6.0 (Squeeze) shipped it.

RFC1213-MIB(7) on Linux now