FWIW meanwhile I learnt that my patch refresh from earlier this week
was incomplete.
I chose for commenting them out in the series file
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,9 +3,10 @@ install_jar_links.patch
wrapper_for_deb.patch
remove_copying_binaries.patch
permission_fix.patch
-gcc47_avr.patch
-no-caller-saves.patch
-Adafruit_GFX.patch
-const_progmem.patch
-depricated_typedef_support.patch
-roboIRread.patch
+## gcc47_avr.patch
+## no-caller-saves.patch
+## Adafruit_GFX.patch
+## const_progmem.patch
+## depricated_typedef_support.patch
+## roboIRread.patch
+no_macosx_think_different
And then encountered
untar-unzip-download-web:
[get] Getting: https://downloads.arduino.cc/reference-1.6.6-3.zip
[get] To:
/<<BUILDDIR>>/arduino-1.8.2+dfsg/build/shared/reference-1.6.6-3.zip
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ....................................................
[get] ............
:-)
