diff --git a/arch/x86/include/asm/iRCCE.h b/arch/x86/include/asm/iRCCE.h
index 5c0edfc3..7c071d5b 100644
--- a/arch/x86/include/asm/iRCCE.h
+++ b/arch/x86/include/asm/iRCCE.h
@@ -134,6 +134,7 @@ typedef struct _iRCCE_MAIL_TRASH_BIN {
 //
 //  Initialize/Finalize functions:
 int   iRCCE_init(void);
+int   iRCCE_finalize(void);
 //
 //  Non-blocking send/recv functions:
 int   iRCCE_isend(char *, ssize_t, int, iRCCE_SEND_REQUEST *);
diff --git a/arch/x86/scc/iRCCE_admin.c b/arch/x86/scc/iRCCE_admin.c
index ba465765..2a28f09e 100644
--- a/arch/x86/scc/iRCCE_admin.c
+++ b/arch/x86/scc/iRCCE_admin.c
@@ -109,4 +109,23 @@ int iRCCE_init(void) {
   return (iRCCE_SUCCESS);
 }
 
+//--------------------------------------------------------------------------------------
+// FUNCTION: iRCCE_finalize
+//--------------------------------------------------------------------------------------
+// finalize the library
+//--------------------------------------------------------------------------------------
+int iRCCE_finalize(void) {
+	// empty iRCCE_mail_garbage
+	iRCCE_MAIL_HEADER* run;
+	iRCCE_MAIL_HEADER* erase_header;
+
+	for( run = iRCCE_mail_garbage.first; run != NULL; ) {
+		erase_header = run;
+		run = run->next;
+		kfree( erase_header, sizeof(iRCCE_MAIL_HEADER) );
+	}
+
+	iRCCE_mail_garbage.first = iRCCE_mail_garbage.last = NULL;
+	return iRCCE_SUCCESS;
+}
 #endif
diff --git a/arch/x86/scc/iRCCE_mailbox.c b/arch/x86/scc/iRCCE_mailbox.c
index 4c235da9..4680a34d 100644
--- a/arch/x86/scc/iRCCE_mailbox.c
+++ b/arch/x86/scc/iRCCE_mailbox.c
@@ -119,8 +119,7 @@ static int iRCCE_mail_fetch(
 // routine to check for new mail in mailboxes
 //------------------------------------------------------------------------------
 static int iRCCE_mailbox_check() {
-	int i, j;
-	int tmp;
+	int i;
 
 	for( i=0; i<RCCE_NP; ++i ) {
 		// only check open mailboxes
diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index 96ea623d..40a07199 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -190,6 +190,8 @@ int icc_halt(void)
 		irq_nested_enable(flags);
 	} while(do_send);
 
+	iRCCE_finalize();
+
 	HALT;
 
 	return 0;