[Monetdb-developers] check-in "killed" pf/tijah