The text 3b200781e63e, as Debian 7 (Wheezy) shipped it.
Manipulators defined in the FBB namespace
manipulators(3bobcat) on Linux now
