Make igor(1) happy.