bitmap_ord_to_pos(9) on Linux

The text 7c6bea0da2cf, as Debian 5.0 (Lenny) shipped it.

bitmap_ord_to_pos(9) on Linux now