Group is
  paths.sig
  paths.fun
  ../lambda/sources.cm
  ../global/sources.cm
  origins.sig
  origins.fun
  paths.sml