islet/Dockerfile: update