monetdb installation should include downloader