schema.sql: drop unused index