paths and mintty