I think the right thing is just to remove those files on antimony, though. I've done this now, which should re-fix this bug.
I think the right thing is just to remove those files on antimony, though. I've done this now, which should re-fix this bug.