diff -ur extlib-1.5/extList.ml extlib-1.5.patched/extList.ml
--- extlib-1.5/extList.ml	2006-01-29 11:03:39.000000000 +0100
+++ extlib-1.5.patched/extList.ml	2006-07-21 20:08:08.000000000 +0200
@@ -431,7 +431,7 @@
 
 let remove l x =
 	let rec loop dst = function
-		| [] -> raise Not_found
+		| [] -> ()
 		| h :: t ->
 			if x = h then 
 				dst.tl <- t