Make sure Jenkins face jobs use newer cmake