new upstream release: 3.25.1

npm registry has version 3.25.1, the debian/changelog has version 3.22.1