Use GLAD exported ints for extensions