Index: /issm/trunk-jpl/src/m/utils/OS/ismumps.m
===================================================================
--- /issm/trunk-jpl/src/m/utils/OS/ismumps.m	(revision 11595)
+++ /issm/trunk-jpl/src/m/utils/OS/ismumps.m	(revision 11596)
@@ -6,5 +6,5 @@
 
 
-configfile=[issmtier() '/config.h'];
+configfile=[issmtier() '/bin/config.h']; %should find it in the install target
 if ~exist(configfile,'file'),
 	error(['File ' configfile ' not found. ISSM has not been configured yet!']);