Fix file extensions for GitHub hosting