Fix: can not change output file extension