actually `system "cmake", "..", *std_cmake_args` would be the call. It sets the prefix already.