fix a crash hapenning since updating Ubuntu 18.04#5

markdstjohn merged 2 commits intomarkdstjohn:mastermarkdstjohn/easystroke:masterfrom

dkondor:masterdkondor/easystroke:masterCopy head branch name to clipboard