you have to run catalog.sql to generate these views