comment out some old PG options