DBE(3x) on Linux

The text 714d9eeac588, as Debian 1.2 (Rex) shipped it.

Double Buffer Extension

DBE(3x) on Linux now