fix: version-string of tropical.lib