These files are distributed with the packaged Linux version.