can you make DivX player your default player rather then the Flash one?