mintty only needed for interactive prompt