fix bug in run_cmake script