changed clipboard setting to work on linux, too