mintty: Change font size 11 -> 10