Updated libminc to the latest version