fix debian package naming