Dockerfile: Delete unused ADDs