get the file extension right otherwise github won't display it properly