Re: [basex-talk] ubuntu 18.04 (bionic)