Update PconsC scripts