Fix extension of generated file