* GLUT frontend uses PRODUCT_NAME for main window title & executable name
Merge branch 'master' into explorer