Better clipboard support under Ubuntu.