Remove a now useless file