Ni idea de dónde configurar eso, lo que se me ocurre es que cambies el programa que por defecto ejecuta los videos al hacer doble click en ellos.
Si te fijas los previos solo aceptan avi y (*.wmv), con picar con el botón derecho sobre cualquier archivo wmv o avi que tengas y asignar el reproductor que quieras para que lo sea por defecto supongo que, funcionara.
No es lo más ortodoxo, pero no se me ocurre algo mejor.