Mintty update (fix bold font)