CREATE INDEX basefiles_jobid_idx ON BaseFiles ( JobId );
+-- suppress output for index modification
+SET client_min_messages TO 'fatal';
+
-- Remove bad PostgreSQL index
DROP INDEX file_fp_idx;
CREATE INDEX file_jpfid_idx on File (JobId, PathId, FilenameId);
-ANALYSE;
+-- restore output
+SET client_min_messages TO DEFAULT;
-UPDATE Version SET VersionId=12;
+ANALYSE;
END-OF-DATA
then