Workaround docker/issues/4041