Say that we require Singular 4.0.1 or newer