Incidentally, I would support `cask-filename` becoming a part of the public API for exactly this reason.