*8248* Fix index creation with PostgreSQL (patch against OJS 2.4.x)