recode the source file