Make getTerminalWidth() and getTerminalHeight() public