Output file extension is now configurable