The text 9b7e39ea513b, as Debian 3.1 (Sarge) shipped it.
Write primary index into a file
PX_write_primary_index(3) on Linux now
