Adopted for latest libminc