try to fix strange CI failure.