diff -urN tuprolog-3.0.0.orig/src/alice/tuprolog/LibraryManager.java tuprolog-3.0.0/src/alice/tuprolog/LibraryManager.java
--- tuprolog-3.0.0.orig/src/alice/tuprolog/LibraryManager.java	2016-10-08 14:33:19.000000000 +0200
+++ tuprolog-3.0.0/src/alice/tuprolog/LibraryManager.java	2016-10-08 16:49:12.005214951 +0200
@@ -9,11 +9,11 @@
 import java.net.URL;
 import java.net.URLClassLoader;
 import java.util.*;
-import cli.System.Reflection.Assembly;
+//import cli.System.Reflection.Assembly;
 
 import alice.tuprolog.event.LibraryEvent;
 import alice.tuprolog.event.WarningEvent;
-import alice.util.AssemblyCustomClassLoader;
+//import alice.util.AssemblyCustomClassLoader;
 
 /**
  * @author Alex Benini
@@ -179,31 +179,7 @@
 				} else
 				// .NET
 				{
-					Assembly asm = null;
-					boolean classFound = false;
-					className = "cli."
-							+ className.substring(0, className.indexOf(","))
-									.trim();
-					for (int i = 0; i < paths.length; i++)
-					{
-						try
-						{
-							asm = Assembly.LoadFrom(paths[i]);
-							loader = new AssemblyCustomClassLoader(asm, urls);
-							lib = (Library) Class.forName(className, true, loader).newInstance();
-							if (lib != null)
-							{
-								classFound = true;
-								break;
-							}
-						} catch (Exception e)
-						{
-							e.printStackTrace();
-							continue;
-						}
-					}
-					if (!classFound)
-						throw new InvalidLibraryException(className, -1, -1);
+					throw new InvalidLibraryException(className, -1, -1);
 				}
 			}
 
@@ -462,4 +438,4 @@
 		return optimizedDirectory;
 	}
 
-}
\ No newline at end of file
+}
diff -urN tuprolog-3.0.0.orig/src/alice/tuprologx/ide/LibraryManager.java tuprolog-3.0.0/src/alice/tuprologx/ide/LibraryManager.java
--- tuprolog-3.0.0.orig/src/alice/tuprologx/ide/LibraryManager.java	2016-10-08 14:33:19.000000000 +0200
+++ tuprolog-3.0.0/src/alice/tuprologx/ide/LibraryManager.java	2016-10-08 16:49:12.006214951 +0200
@@ -18,7 +18,7 @@
 package alice.tuprologx.ide;
 
 import alice.tuprolog.*;
-import alice.util.AssemblyCustomClassLoader;
+//import alice.util.AssemblyCustomClassLoader;
 
 import java.io.File;
 import java.net.URL;
@@ -26,7 +26,7 @@
 import java.util.ArrayList;
 import java.util.Hashtable;
 import java.util.StringTokenizer;
-import cli.System.Reflection.Assembly;
+//import cli.System.Reflection.Assembly;
 
 /**
  * A dynamic manager for tuProlog libraries.
@@ -155,10 +155,7 @@
 	        	// .NET
 	        	if(System.getProperty("java.vm.name").equals("IKVM.NET"))
 	        	{
-	        		Assembly asm = Assembly.LoadFrom(file.getPath());
-	        		loader = new AssemblyCustomClassLoader(asm, new URL[]{url});
-	        		libraryClassname = "cli." + libraryClassname.substring(0, 
-	        				libraryClassname.indexOf(",")).trim();
+	        		throw new InvalidLibraryException(libraryClassname,-1,-1);
 	        	}
 	        	// JVM
 	        	else
diff -urN tuprolog-3.0.0.orig/src/alice/util/AssemblyCustomClassLoader.java tuprolog-3.0.0/src/alice/util/AssemblyCustomClassLoader.java
--- tuprolog-3.0.0.orig/src/alice/util/AssemblyCustomClassLoader.java	2016-10-08 14:33:19.000000000 +0200
+++ tuprolog-3.0.0/src/alice/util/AssemblyCustomClassLoader.java	1970-01-01 01:00:00.000000000 +0100
@@ -1,21 +0,0 @@
-package alice.util;
-
-import java.net.URL;
-
-public class AssemblyCustomClassLoader extends java.net.URLClassLoader
-{
-  public AssemblyCustomClassLoader(cli.System.Reflection.Assembly asm, URL[] urls)
-  {
-    super(new java.net.URL[0], new ikvm.runtime.AssemblyClassLoader(asm));
-    // explicitly calling addURL() is safer than passing it to the super constructor,
-    // because this class loader instance may be used during the URL construction.
-    for (URL url : urls) {
-    	addURL(url);
-	}    
-  }
-  
-  public void addUrl(URL url)
-  {
-	  addURL(url);
-  }
-}
\ No newline at end of file
diff -urN tuprolog-3.0.0.orig/src/alice/util/proxyGenerator/Generator.java tuprolog-3.0.0/src/alice/util/proxyGenerator/Generator.java
--- tuprolog-3.0.0.orig/src/alice/util/proxyGenerator/Generator.java	2016-10-08 14:33:19.000000000 +0200
+++ tuprolog-3.0.0/src/alice/util/proxyGenerator/Generator.java	2016-10-08 17:03:17.816179576 +0200
@@ -1,7 +1,7 @@
 package alice.util.proxyGenerator;
 import javax.tools.*;
 
-import cli.System.Reflection.Assembly;
+//import cli.System.Reflection.Assembly;
 
 import java.lang.reflect.*;
 import java.util.*;
@@ -29,7 +29,7 @@
     }
     
     if(System.getProperty("java.vm.name").equals("IKVM.NET"))
-    	ikvm.runtime.Startup.addBootClassPathAssemby(Assembly.Load("IKVM.OpenJDK.Tools"));
+    	throw new UnsupportedOperationException("IKVM.NET not supported!");
     
     jc = ToolProvider.getSystemJavaCompiler();
     if (jc == null) {