diff --git a/jafar-kernel/Makefile b/jafar-kernel/Makefile
index 10b381517328af7bdb2114d3b8d90f8525f66a96..180a1114d446a72cff201fa78bfe71d3df2cf00c 100644
--- a/jafar-kernel/Makefile
+++ b/jafar-kernel/Makefile
@@ -2,7 +2,7 @@
 # Created:			Redouane Boumghar on Thu, 17 Mar 2011
 #
 
-VERSION=		0.3
+VERSION=		0.4
 DISTNAME=		jafar-kernel-${VERSION}
 CATEGORIES=		wip
 MASTER_SITES=		${MASTER_SITE_OPENROBOTS:=jafar-kernel/}
@@ -16,9 +16,6 @@ LICENSE=		isc
 USE_LANGUAGES+=		c c++ fortran
 USE_PKGLOCALEDIR=	yes
 
-CPPFLAGS += -DJFR_NDEBUG
-CXXFLAGS += -pthread
-
 CMAKE_ARGS+=		-DBOOST_INCLUDEDIR=${PREFIX.boost-headers}/include
 CMAKE_ARGS+=		-DBOOST_LIBDIR=${PREFIX.boost-libs}/include
 
diff --git a/jafar-kernel/distinfo b/jafar-kernel/distinfo
index 2323d1626a3ec0166bd405e80ea79be8876c766e..1d714332361d2f782c9f570586895f9de7c82c68 100644
--- a/jafar-kernel/distinfo
+++ b/jafar-kernel/distinfo
@@ -1,4 +1,3 @@
-SHA1 (jafar-kernel-0.3.tar.gz) = 0dbf0bffa2fda89fbf8036c6cce8952798096a64
-RMD160 (jafar-kernel-0.3.tar.gz) = 56b06fd70ce4ec8896c9ddb08e58a1ac63da8752
-Size (jafar-kernel-0.3.tar.gz) = 94135 bytes
-SHA1 (patch-aa) = f23f565348cf4566426987927e6f33f2770375e8
+SHA1 (jafar-kernel-0.4.tar.gz) = 8ad1cc888e67829519a76ceaac4c38b1123ade8a
+RMD160 (jafar-kernel-0.4.tar.gz) = ecf27735fd1b7ae37b47d381a7eb649260fce12a
+Size (jafar-kernel-0.4.tar.gz) = 68451 bytes
diff --git a/jafar-kernel/patches/patch-aa b/jafar-kernel/patches/patch-aa
deleted file mode 100644
index debb18434afba3538a821c7158995c4074f2994d..0000000000000000000000000000000000000000
--- a/jafar-kernel/patches/patch-aa
+++ /dev/null
@@ -1,20 +0,0 @@
-execinfo.h is, by default, only available on Linux + GLibc. 
-So build it only if we are on linux
-
---- src/jafarException.cpp.old	2011-12-21 18:22:22.021107884 +0100
-+++ src/jafarException.cpp	2011-12-21 18:22:42.521137944 +0100
-@@ -18,12 +18,12 @@
- namespace kernel {
- 
- 		#include <stdlib.h>
--#ifndef WIN32
-+#ifdef __linux__
- 		#include <execinfo.h>
- #endif
- 		std::string get_system_trace ()
- 		{
--#ifndef WIN32
-+#ifdef __linux__
- 			void *array[15];
- 			size_t size;
- 			char **strings;