Update names of file endings, fix a broken repo