Changed default output extension to .txt