re-compiled view definitions for new file-format