[MonetDB-users] Ubuntu distribution is broken with latest release.