Remove the debian/source/options file as lintian doesn't like it

2019-07-26, Gary Kramlich