Change extension so github knows it