diff --git a/board/trab/Makefile b/board/trab/Makefile
index 868ca4281f180a6b0c105cd9ce0529e4e5da59bc..fbe1c3640fc661ab1218d8a83d9c1eaff316ed7d 100644
--- a/board/trab/Makefile
+++ b/board/trab/Makefile
@@ -50,7 +50,6 @@ $(LIB):	$(obj).depend $(OBJS) $(SOBJS)
 $(obj)trab_fkt.srec:	$(OBJS_FKT) $(LIB)
 	$(LD) -g -Ttext $(LOAD_ADDR) -o $(<:.o=) -e trab_fkt $^ $(LIB) \
 		-L$(obj)../../examples -lstubs \
-		-L$(obj)../../lib_generic -lgeneric \
 		-L$(gcclibdir) -lgcc
 	$(OBJCOPY) -O srec $(<:.o=) $@
 
diff --git a/common/exports.c b/common/exports.c
index a579554ab52a0de8a47e08eef84746025ff0535c..ec4656bfbd172116be925a860cccb84d1c23ca77 100644
--- a/common/exports.c
+++ b/common/exports.c
@@ -28,6 +28,8 @@ void jumptable_init (void)
 	gd->jt[XF_get_timer] = (void *) get_timer;
 	gd->jt[XF_simple_strtoul] = (void *) simple_strtoul;
 	gd->jt[XF_udelay] = (void *) udelay;
+	gd->jt[XF_simple_strtol] = (void *) simple_strtol;
+	gd->jt[XF_strcmp] = (void *) strcmp;
 #if defined(CONFIG_I386) || defined(CONFIG_PPC)
 	gd->jt[XF_install_hdlr] = (void *) irq_install_handler;
 	gd->jt[XF_free_hdlr] = (void *) irq_free_handler;
diff --git a/include/_exports.h b/include/_exports.h
index a0fbf2aba3621cbf92c9c697174e457982a8e8aa..da6e088163e48d55edd45fbd8b50407864cffc26 100644
--- a/include/_exports.h
+++ b/include/_exports.h
@@ -15,6 +15,8 @@ EXPORT_FUNC(do_reset)
 EXPORT_FUNC(getenv)
 EXPORT_FUNC(setenv)
 EXPORT_FUNC(simple_strtoul)
+EXPORT_FUNC(simple_strtol)
+EXPORT_FUNC(strcmp)
 #if defined(CONFIG_CMD_I2C)
 EXPORT_FUNC(i2c_write)
 EXPORT_FUNC(i2c_read)
diff --git a/include/exports.h b/include/exports.h
index 704b1330b891a1d8c42c26febc1b0fca4cf03774..0516da93749be2c00d34ae575259b63eb9243a72 100644
--- a/include/exports.h
+++ b/include/exports.h
@@ -23,6 +23,8 @@ void do_reset (void);
 unsigned long simple_strtoul(const char *cp,char **endp,unsigned int base);
 char *getenv (char *name);
 void setenv (char *varname, char *varvalue);
+long simple_strtol(const char *cp,char **endp,unsigned int base);
+int strcmp(const char * cs,const char * ct);
 #if defined(CONFIG_CMD_I2C)
 int i2c_write (uchar, uint, int , uchar* , int);
 int i2c_read (uchar, uint, int , uchar* , int);
@@ -40,7 +42,7 @@ enum {
 	XF_MAX
 };
 
-#define XF_VERSION	3
+#define XF_VERSION	4
 
 #if defined(CONFIG_I386)
 extern gd_t *global_data;