fix debian package name
mark as version 1.3.1