modify docker aliases, and control-flow alias