Put back erroniously deleted file