Updated with latest locations for the ES2/ES3 header files. Note that the extension header file for ES3 is now the same as the one for ES2.