Christoph Stamm - 2015-08-06

This new version is a minor update of version 7.15.25.
It contains modernized automake stuff and some other minor changes.