let the terminal decide on its name - weird things can happen