problem with installation on ubuntu 18

reported by Rupert.Overall@dzne.de