Vampir bugfix release

There is a new Vampir 9.7.2 bugfix release version available now.

This version fixes a incompatibility in version 9.7.0 and 9.7.1 that caused issues with previous releases in the Open Remote dialog,