actually use the dockercircuefilename