Drop a few packages that made it into debian