Revert "debian: added single-debian-patch in source/options"