Work around sed/docker-build bug