Add download.c (used for generating the download.html for the website (for releases)) based on magic. use gcc download.c -o gen; gen ../../; git checkout gh-pages; git add download.html; git push origin gh-pages; to apply website changes.