avplay: get rid of ugly casts in the options table