Index: /issm/trunk-jpl/src/c/solutions/EnvironmentInit.cpp
===================================================================
--- /issm/trunk-jpl/src/c/solutions/EnvironmentInit.cpp	(revision 13532)
+++ /issm/trunk-jpl/src/c/solutions/EnvironmentInit.cpp	(revision 13533)
@@ -7,5 +7,7 @@
 #error "Cannot compile with HAVE_CONFIG_H symbol! run configure first!"
 #endif
-
+#include "../include/include.h"
+#include "../toolkits/toolkits.h"
+#include "../include/globals.h"
 
 void EnvironmentInit(int argc,char** argv){
@@ -13,5 +15,5 @@
 	/*Initialize environments: Petsc, MPI, etc...: */
 	#ifdef _HAVE_PETSC_
-	ierr=PetscInitialize(&argc,&argv,(char*)0,"");  
+	int ierr=PetscInitialize(&argc,&argv,(char*)0,"");  
 	if(ierr) _error_("Could not initialize Petsc");
 	#else
Index: /issm/trunk-jpl/src/c/solutions/issm.cpp
===================================================================
--- /issm/trunk-jpl/src/c/solutions/issm.cpp	(revision 13532)
+++ /issm/trunk-jpl/src/c/solutions/issm.cpp	(revision 13533)
@@ -37,5 +37,4 @@
 	IssmPDouble   finish;
 	IssmPDouble   start_core, finish_core;
-	int      ierr;
 
 	/*profiling*/