old ubuntu LTS system have very old cmake

This fixes a problem reported by Andre on an old Ubuntu 18.04 LTS system running cmake 3.10.2. Since we still want to support this, here is an attempt to fix this.