Work-around a ds4tool issue.