Thanks for pointing me to that article. I totally forgot that the postgres wiki existed.
Updating is not an option at the moment, but we'll probably do so in the future. Until then I canlive with the workaround.
Kind regards, Marc