fix python encoding