Avoid adding too large files to github