Make copy-paste work in linux as well