diff --git a/sys/vtimer/vtimer.c b/sys/vtimer/vtimer.c
index 4854a59eba..cfbdfd7c80 100644
--- a/sys/vtimer/vtimer.c
+++ b/sys/vtimer/vtimer.c
@@ -41,6 +41,8 @@
 #define SECONDS_PER_TICK (4096U)
 #define MICROSECONDS_PER_TICK (4096UL * 1000000)
 
+void _gettimeofday(void)           __attribute__ ((weak, alias("vtimer_gettimeofday")));
+
 static void vtimer_callback(void *ptr);
 static void vtimer_callback_tick(vtimer_t *timer);
 static void vtimer_callback_msg(vtimer_t *timer);