fix warnings coming from gl43aux file (solution from @SimonDanisch)