please include function loadFunctions_cached.

svoid loadFunctions_preferDiskCache() {
  set loadFunctions_preferDiskCache;
}