avcodec/hnm4video: change width/height to int