Fix file extension in installation documentation