Fix debian package name - Fixes #1