Remove a now defunct file.