Fix libvlc_video_get_height and libvlc_video_get_width