Fix to 9b6a490: actually remove the file...