Fix type error in WindowGLLinux