little python script to convert a 
file from encode to another