fix glfw time type; fixes #3002