problem with installation on ubuntu 18

reported by Rupert.Overall@dzne.de

created branch 594-problem-with-installation-on-ubuntu-18

mentioned in merge request !578 (merged)

closed via merge request !578 (merged)

mentioned in commit dac6636a