There is no need to do a `make clean' if you remove a device driver, in general. BTW, we should probably not send everything to current-users; I doubt most of the people really want to hear us babble at each other. ------------------------------------------------------------------------------