PostgreSQL extension for redstone_mapper