*8248* Fix index creation with PostgreSQL (patch against OJS pre-3.0)