Update Dockerfile

Change the executable name