rename so github gets the file type correct