Work around ANOTHER docker issue.