removing old debian cruft