change the default terminal width from 100 to 80, as that is the most common value
fix bugsnet #67212: phpdbg uses non-standard TIOCGWINSZ