Remove several deprecated files