diff --git a/mplayer.c b/mplayer.c
index 230da6520a..b5dcffdc99 100644
--- a/mplayer.c
+++ b/mplayer.c
@@ -1329,7 +1329,9 @@ if(stream_cache_size>0){
 }
 
 //============ Open DEMUXERS --- DETECT file type =======================
+#ifdef HAS_DVBIN_SUPPORT
 goto_open_demuxer:
+#endif
 current_module="demux_open";
 
 demuxer=demux_open(stream,file_format,audio_id,video_id,dvdsub_id,filename);