Fixing libminc installation issues