Re-delete already deleted file (no idea what happened)