Update terminalio.h