Fixing default.hdp
debianization: Version bump for the PPA