Fix up makefilef for dist
Fix up makefilef for dist

dkm/gcc-explorer,mattgodbolt/compiler-explorer,ibuclaw/gcc-explorer,ibuclaw/gcc-explorer,dkm/gcc-explorer,mattgodbolt/gcc-explorer,mattgodbolt/compiler-explorer,dkm/gcc-explorer,dkm/gcc-explorer,mattgodbolt/compiler-explorer,mattgodbolt/compiler-explorer,dkm/gcc-explorer,dkm/gcc-explorer,ibuclaw/gcc-explorer,dkm/gcc-explorer,ibuclaw/gcc-explorer,mattgodbolt/compiler-explorer,mattgodbolt/compiler-explorer,mattgodbolt/gcc-explorer,dkm/gcc-explorer,mattgodbolt/gcc-explorer,mattgodbolt/compiler-explorer,ibuclaw/gcc-explorer,mattgodbolt/gcc-explorer,mattgodbolt/gcc-explorer,dkm/gcc-explorer,mattgodbolt/compiler-explorer