fix some stringencoders builds