Delete some weirdly renamed file