remove some files superfluous for our use