make init_vlc() return void.