Or re-run catproc.sql