sposvxx(3) on Linux

The text be57b5c5e119, as Debian 7 (Wheezy) shipped it.

sposvxx(3) on Linux now