Core files used by the various plugins