Added support for GLES2 headers on RaspberryPi; fixing up some other issues