CHANGES
- Fix bugs against PostgreSQL 9.2.4
    There happened a memory leak when using a FILTER function written by SQL.
- Fix in postgresql script
    There was the code for now-defunct option.