extras/tools: update cmake

This is fixes compilation issues in the not so far future