Remove empty debian/source/options.
