remove a file (should be removed in the previous commit)