Replace files I accidentally removed