Some useful stuff for Mintty