#6818: Define plugin files.