original.js

var isLocal = (function() {
	var rhash = /#.*$/,
		currentPage = location.href.replace( rhash, "" );

	return function( anchor ) {
		// clone the node to work around IE 6 not normalizing the href property
		// if it's manually set, i.e., a.href = "#foo" kills the normalization
		anchor = anchor.cloneNode( false );
		return anchor.hash.length > 1 &&
			anchor.href.replace( rhash, "" ) === currentPage;
	};
})();

patched.js

var isLocal = (function() {
	var rhash = /#.*$/,
		currentPage = location.href.replace( rhash, "" );

	return function( anchor ) {
		var href = anchor.href.replace(location.origin + '/', location.href);

		// clone the node to work around IE 6 not normalizing the href property
		// if it's manually set, i.e., a.href = "#foo" kills the normalization
		anchor = anchor.cloneNode( false );
		return anchor.hash.length > 1 &&
			href.replace( rhash, "" ) === currentPage;
	};
})();