Added the EXEEXT variable so that Makefiles can figure out what extension