GUAC-730: Fix headers in src/terminal.