Fixes to get gl-terminal to work reliable