discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";