Removing some superfluous files