debian: changed required debhelper to (>= 7.4)