Correct stopdocker file extension