bp_seqcut(1p) on Linux

The text 10a6204f6549, as Debian 9 (Stretch) shipped it.

bp_seqcut(1p) on Linux now