Merge pull request #449 from YueRen/master

chg: new tropical.lib version by thomas
fix: version-string of tropical.lib