scripts for converting to Concrete format