basic fixes for sets translator, separate binaries