On 11/1/18 2:02 AM, Vaclav Petras wrote: > I did it in two different docker containers with same result. > > docker run --rm -it ubuntu:18.04 Perhaps docker is the problem. Try a proper Ubuntu xenial VM. Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1