OK; I'd ultimately like to figure out a way to have gcloud tell us this file location, but that doesn't have to happen right now.