Fix handling of crunched files broken in previous commit.