fix use_karaokevis in configure.in