Fix file extensions for sphinx