Readd distribution files

Something weird is going on, but this seems to fix it.