Apparently terminate is too nice, use kill to really stop the process

[#58893216]
Merge branch 'develop' of github.com:NREL/OpenStudio into develop