update in binio for synthesis