Rename ci Docker file