fix debian release version

The version for the Debian package is 1.3.1, prolly a typo.