lentferj@ts-d20:/tmp/libraries$ diff -ru  ~/Arduino/libraries/Encoder Encoder
Only in Encoder: .DS_Store
diff -ru /home/lentferj/Arduino/libraries/Encoder/Encoder.h Encoder/Encoder.h
--- /home/lentferj/Arduino/libraries/Encoder/Encoder.h  1979-11-30 00:00:00.000000000 +0100
+++ Encoder/Encoder.h   2017-09-19 14:59:26.000000000 +0200
@@ -34,14 +34,16 @@
 #elif defined(WIRING)
 #include "Wiring.h"
 #else
-#include "WProgram.h"
+
+  #include "WProgram.h"
 #include "pins_arduino.h"
 #endif

 #include "utility/direct_pin_read.h"

 #if defined(ENCODER_USE_INTERRUPTS) || !defined(ENCODER_DO_NOT_USE_INTERRUPTS)
-#define ENCODER_USE_INTERRUPTS
+//#define ENCODER_USE_INTERRUPTS // will not work with multiplexed inputs
+#define ENCODER_DO_NOT_USE_INTERRUPTS
 #define ENCODER_ARGLIST_SIZE CORE_NUM_INTERRUPT
 #include "utility/interrupt_pins.h"
 #ifdef ENCODER_OPTIMIZE_INTERRUPTS
Only in Encoder/examples: .DS_Store