bitmap_ord_to_pos(9) on Linux

The text 682cc33d3e7d, as Debian 4.0 (Etch) shipped it.

bitmap_ord_to_pos(9) on Linux now