I guess I can solve my problem locally by manually deleting the old file. But in the interest of all other users I'd prefer the bug to be fixed.