[PATCH 1/1] switch to cmake 3.13