-void system_Init ( int *pi_argc, char *ppsz_argv[], char *ppsz_env[] );
-void system_Configure ( void );
-void system_End ( void );
+#ifdef _NEED_OS_SPECIFIC_H
+ void system_Init ( libvlc_int_t *, int *, char *[] );
+ void system_Configure ( libvlc_int_t *, int *, char *[] );
+ void system_End ( libvlc_int_t * );
+#else
+# define system_Init( a, b, c ) {}
+# define system_Configure( a, b, c ) {}
+# define system_End( a ) {}
+#endif