changed flavor of bogofilter to db4