TerminalSize: workaround implemented using 'stty size'

Merci Maddingue!