Remove debian/options