bson_destroy(3) on Linux

The text 56aaa1c94795, as Debian 10 (Buster) shipped it.

bson_destroy()

bson_destroy(3) on Linux now