Re-remove some files accidentally pushed back