Index: src/Common/utility.h
===================================================================
--- src/Common/utility.h	(revision 74e3263a69959dbaa545f9872a29b122d61fd953)
+++ src/Common/utility.h	(revision 8abca0660e7023ad48db341fe98ce11969bb2e8a)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jul 24 14:28:19 2019
-// Update Count     : 41
+// Last Modified On : Tue Feb 11 13:00:36 2020
+// Update Count     : 50
 //
 
@@ -29,4 +29,5 @@
 #include <utility>
 #include <vector>
+#include <cstring>										// memcmp
 
 #include "Common/Indenter.h"
@@ -264,9 +265,9 @@
 }
 
-/// determines if `pref` is a prefix of `str`
-static inline bool isPrefix( const std::string & str, const std::string & pref ) {
+// determines if pref is a prefix of str
+static inline bool isPrefix( const std::string & str, const std::string & pref, unsigned int start = 0 ) {
 	if ( pref.size() > str.size() ) return false;
-	auto its = std::mismatch( pref.begin(), pref.end(), str.begin() );
-	return its.first == pref.end();
+    return 0 == memcmp( str.c_str() + start, pref.c_str(), pref.size() );
+	// return prefix == full.substr(0, prefix.size()); // for future, requires c++17
 }