fix missing files on github