Set the release name in docker/debian7 recipe