fixing (locally unreproducable) docker.io build error