small fixes to gl lib