add cmake-3.1 as required soon by avim