diff -r 7005e8d826cb -r 804503acbe81 ObjectFileLoader.st
--- a/ObjectFileLoader.st	Fri Mar 11 00:45:36 2016 +0100
+++ b/ObjectFileLoader.st	Fri Mar 11 00:54:57 2016 +0100
@@ -3107,7 +3107,7 @@
 	//
 	handle = LoadLibraryEx(__stringVal(pathName), NULL, LOAD_WITH_ALTERED_SEARCH_PATH);
 	if (@global(Verbose) == true) {
-	    console_fprintf(stderr, "ObjectFileLoader [info]: handle: %x\n", handle);
+	    console_fprintf(stderr, "ObjectFileLoader [info]: handle: %"_lx_"\n", (INT)handle);
 	    console_fflush(stderr);
 	}
 	if (handle == NULL) {
@@ -3474,8 +3474,13 @@
 # endif
 	handle = (HINSTANCE)(val);
 
-       if (setjmp(exitJmpBuf)) {
-	   __setAtExitLongJmp(exitJmpBuf);
+	if (setjmp(exitJmpBuf)) {
+	    __setAtExitLongJmp(exitJmpBuf);
+	    if (@global(Verbose) == true) {
+		console_fprintf (stderr,
+				 "ObjectFileLoader [info]: FreeLibrary %s handle: %"_lx_"\n",
+				 __stringVal(sysHandle1), (INT)handle);
+	    }
 	    if (FreeLibrary(handle) != TRUE) {
 	       __setAtExitLongJmp(0);
 		err = GetLastError();