--- 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) {