Debian merge

This *should* be the final 0.7.5.4 release :)
thanks for spotting the changelog rule... I thought that only "ChangeLog" was detected, and not CHANGELOG.