diff --git a/dios/libc/string/memmove.c b/dios/libc/string/memmove.c
index ee3d09904b9cb4b47e6ea7f5bbdf1633f9e8ef75..3cc02aa7cd80b83d5fc5b71b554a6b7495fdfae9 100644
--- a/dios/libc/string/memmove.c
+++ b/dios/libc/string/memmove.c
@@ -10,8 +10,7 @@
 
 #ifndef REGTEST
 
-__attribute__((__annotate__("lart.interrupt.skipcfl")))
-__attribute__((__annotate__("divine.link.always")))
+__link_always __skipcfl
 void * memmove( void * s1, const void * s2, size_t n )
 {
     char *dest = ( char * ) s1;