Fix DSSI build