Update Debian packaging to version 1.0.2