Fix debian package naming