extern miracle_server miracle_server_init( char * );
extern const char *miracle_server_id( miracle_server );
-extern void miracle_server_set_config( miracle_server, char * );
+extern void miracle_server_set_config( miracle_server, const char * );
extern void miracle_server_set_port( miracle_server, int );
extern void miracle_server_set_proxy( miracle_server, char * );
extern int miracle_server_execute( miracle_server );