More progress on mavenc