diff --git a/prism/src/hybrid/PH_StochCumulReward.cc b/prism/src/hybrid/PH_StochCumulReward.cc
index 99cc600f..e7e732e5 100644
--- a/prism/src/hybrid/PH_StochCumulReward.cc
+++ b/prism/src/hybrid/PH_StochCumulReward.cc
@@ -210,7 +210,7 @@ jdouble time		// time bound
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PH_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PH_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 	// modify the poisson probabilities to what we need for this computation
 	// first make the kth value equal to the sum of the values for 0...k
@@ -297,7 +297,7 @@ jdouble time		// time bound
 			// add to sum
 			for (i = 0; i < n; i++) sum[i] += weight * soln2[i];
 			
-			PH_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PH_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			break;
 		}
@@ -324,7 +324,7 @@ jdouble time		// time bound
 	
 	// print iters/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PH_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PH_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// catch exceptions: register error, free memory
 	} catch (std::bad_alloc e) {
diff --git a/prism/src/hybrid/PH_StochTransient.cc b/prism/src/hybrid/PH_StochTransient.cc
index 1b865eb9..d26d7166 100644
--- a/prism/src/hybrid/PH_StochTransient.cc
+++ b/prism/src/hybrid/PH_StochTransient.cc
@@ -193,7 +193,7 @@ jdouble time		// time bound
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PH_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PH_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 	// set up vectors
 	for (i = 0; i < n; i++) {
@@ -266,7 +266,7 @@ jdouble time		// time bound
 			}
 			// add to sum
 			for (i = 0; i < n; i++) sum[i] += weight * soln2[i];
-			PH_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PH_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			break;
 		}
@@ -291,7 +291,7 @@ jdouble time		// time bound
 	
 	// print iters/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PH_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PH_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// catch exceptions: register error, free memory
 	} catch (std::bad_alloc e) {
diff --git a/prism/src/mtbdd/PM_StochCumulReward.cc b/prism/src/mtbdd/PM_StochCumulReward.cc
index fa432b01..ef8c5233 100644
--- a/prism/src/mtbdd/PM_StochCumulReward.cc
+++ b/prism/src/mtbdd/PM_StochCumulReward.cc
@@ -135,7 +135,7 @@ jdouble time		// time bound
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PM_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PM_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 	// modify the poisson probabilities to what we need for this computation
 	// first make the kth value equal to the sum of the values for 0...k
@@ -206,7 +206,7 @@ jdouble time		// time bound
 			// add to sum
 			Cudd_Ref(tmp);
 			sum = DD_Apply(ddman, APPLY_PLUS, sum, DD_Apply(ddman, APPLY_TIMES, tmp, DD_Constant(ddman, weight)));
-			PM_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PM_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			Cudd_RecursiveDeref(ddman, tmp);
 			break;
@@ -235,7 +235,7 @@ jdouble time		// time bound
 	
 	// print iters/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PM_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PM_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// free memory
 	Cudd_RecursiveDeref(ddman, q);
diff --git a/prism/src/mtbdd/PM_StochTransient.cc b/prism/src/mtbdd/PM_StochTransient.cc
index 8dfef263..bccb82cd 100644
--- a/prism/src/mtbdd/PM_StochTransient.cc
+++ b/prism/src/mtbdd/PM_StochTransient.cc
@@ -168,7 +168,7 @@ jdouble time				// time
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PM_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PM_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 //	PM_PrintToMainLog(env, "right-left = %d\n", fgw.right-fgw.left);
 //	PM_PrintToMainLog(env, "total_weight = %f\n", fgw.total_weight);
@@ -264,7 +264,7 @@ jdouble time				// time
 			// add to sum
 			Cudd_Ref(tmp);
 			sum = DD_Apply(ddman, APPLY_PLUS, sum, DD_Apply(ddman, APPLY_TIMES, tmp, DD_Constant(ddman, weight)));
-			PM_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PM_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			Cudd_RecursiveDeref(ddman, tmp);
 			break;
@@ -293,7 +293,7 @@ jdouble time				// time
 	
 	// print iterations/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PM_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PM_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// free memory
 	if (combine) {
diff --git a/prism/src/sparse/PS_StochCumulReward.cc b/prism/src/sparse/PS_StochCumulReward.cc
index e67abdd2..6c3f8b19 100644
--- a/prism/src/sparse/PS_StochCumulReward.cc
+++ b/prism/src/sparse/PS_StochCumulReward.cc
@@ -199,7 +199,7 @@ jdouble time		// time bound
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PS_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PS_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 	// modify the poisson probabilities to what we need for this computation
 	// first make the kth value equal to the sum of the values for 0...k
@@ -322,7 +322,7 @@ jdouble time		// time bound
 			// add to sum
 			for (i = 0; i < n; i++) sum[i] += weight * soln2[i];
 			
-			PS_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PS_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			break;
 		}
@@ -349,7 +349,7 @@ jdouble time		// time bound
 	
 	// print iters/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PS_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PS_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// catch exceptions: register error, free memory
 	} catch (std::bad_alloc e) {
diff --git a/prism/src/sparse/PS_StochTransient.cc b/prism/src/sparse/PS_StochTransient.cc
index 8142ff8c..5d6300e5 100644
--- a/prism/src/sparse/PS_StochTransient.cc
+++ b/prism/src/sparse/PS_StochTransient.cc
@@ -181,7 +181,7 @@ jdouble time		// time bound
 	for (i = fgw.left; i <= fgw.right; i++) {
 		fgw.weights[i-fgw.left] /= fgw.total_weight;
 	}
-	PS_PrintToMainLog(env, "Fox-Glynn: left = %d, right = %d\n", fgw.left, fgw.right);
+	PS_PrintToMainLog(env, "Fox-Glynn: left = %ld, right = %ld\n", fgw.left, fgw.right);
 	
 	// set up vectors
 	for (i = 0; i < n; i++) {
@@ -291,7 +291,7 @@ jdouble time		// time bound
 			}
 			// add to sum
 			for (i = 0; i < n; i++) sum[i] += weight * soln2[i];
-			PS_PrintToMainLog(env, "\nSteady state detected at iteration %d\n", iters);
+			PS_PrintToMainLog(env, "\nSteady state detected at iteration %ld\n", iters);
 			num_iters = iters;
 			break;
 		}
@@ -316,7 +316,7 @@ jdouble time		// time bound
 	
 	// print iters/timing info
 	if (num_iters == -1) num_iters = fgw.right;
-	PS_PrintToMainLog(env, "\nIterative method: %d iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
+	PS_PrintToMainLog(env, "\nIterative method: %ld iterations in %.2f seconds (average %.6f, setup %.2f)\n", num_iters, time_taken, time_for_iters/num_iters, time_for_setup);
 	
 	// catch exceptions: register error, free memory
 	} catch (std::bad_alloc e) {