Version bump of cmake_minimum_required in nested CMakeLists.txt files, concerning #715