Dirty hack to restart Herdt's PG
1a021209ef582fb7c7dcd8b984db2d364772f363