scripts: make dist executable
website: work with new file format