-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 ( vlc_t *, int *, char *[] );
+ void system_Configure ( vlc_t *, int *, char *[] );
+ void system_End ( vlc_t * );
+#else
+# define system_Init( a, b, c ) {}
+# define system_Configure( a, b, c ) {}
+# define system_End( a ) {}
+#endif