--- Arduino-1.8.5/arduino-core/src/processing/app/Platform.java~	2017-09-28 17:43:01.008900144 +0300
+++ Arduino-1.8.5/arduino-core/src/processing/app/Platform.java	2017-11-26 15:50:29.287787313 +0200
@@ -154,7 +154,11 @@
   }
 
   static {
-    loadLib(new File(BaseNoGui.getContentFile("lib"), System.mapLibraryName("listSerialsj")));
+    File listSerialsjLib = new File("/usr/lib64/arduino/liblistSerialsj.so");
+    if (! listSerialsjLib.exists()) {
+      listSerialsjLib = new File("/usr/lib/arduino/liblistSerialsj.so");
+    }
+    loadLib(listSerialsjLib);
   }
 
   private static void loadLib(File lib) {