Add virtual dtors for TerminalOs implementations.
Fix a problem with variadic function calling a virtual function.

Not sure what the issue is here, didn't look into it.