--- extlib-1.5.1.orig/install.ml	2008-02-12 18:01:34.000000000 +0000

+++ extlib-1.5.1/install.ml	2008-02-12 18:03:26.000000000 +0000

@@ -64,10 +64,18 @@

 		print_endline ("Installing " ^ file);

 		let path = dest ^ file in

 		(try Sys.remove path with _ -> ());

-		try

-			Sys.rename file path;

-		with

-			_ -> failwith "Aborted"

+		let ichan = open_in file in

+		let ochan = open_out path in

+		let buf = String.create 1024 in

+		let rec loop () =

+			let len = input ichan buf 0 1024 in

+			if len > 0 then (

+				output ochan buf 0 len;

+				loop ()

+			)

+		in

+		loop ();

+		Sys.remove file

 	end

 let complete_path p =