JBIDE-16032: resolve the remaining problem on Linux