The text 0b885e3db93e, as Debian 8 (Jessie) shipped it.
deallocate buffer pools
hcd_buffer_destroy(9) on Linux now
