Obscure workaround for Travis-CI build failure.