* debian/debian/changelog: upped version number.