Thx Don,
I'm using Postgres, though, but I guess this applies even with it. I put the lines in /etc/profile, but it didn't help, even after rebooting the whole box. The behaviour changed a bit, though: now I even get "(core dumped)" after the errors given above.