[Monetdb-developers] `make check' not working here