diff --git a/debian/changelog b/debian/changelog
index 3eaede13d..1f76b390b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ live-build (1:20160105) UNRELEASED; urgency=medium
     Thus we no longer have remaining key in /etc/apt/trusted.gpg
     after building. Closes: #816204
   * Try to reuse /isolinux/splash.png in default grub configuration.
+  * Drop debian/source/{local-options,options} as they are no longer needed.
 
  -- Raphaël Hertzog <hertzog@debian.org>  Tue, 05 Jan 2016 18:03:44 +0100
 
diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index 2ee6f0fa1..000000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1 +0,0 @@
-abort-on-upstream-changes
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 5bd47b78d..000000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-compression = xz