/* C interface */
SG_BEGIN_DECL()
-void sg_mailbox_set_receiver(const char* alias);
-int sg_mailbox_listen(const char* alias);
+XBT_PUBLIC void sg_mailbox_set_receiver(const char* alias);
+XBT_PUBLIC int sg_mailbox_listen(const char* alias);
SG_END_DECL()