Try to work around a Python3-related issue.