mintty rc colors etc