_do_reset_vlc.sh: fix build on ubuntu