Slightly more portable terminal under Linux.