GLUT_WINDOW_HEADER_HEIGHT should always have been GLUT_WINDOW_BORDER_HEIGHT.
[freeglut] / README.android
1
2   See http://freeglut.sourceforge.net/docs/android.php
3