PG'OCaml bugfix release