debian: installed bogofilter