Debian package is available (fixes issue #32)