more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted;