trivial: Do not explode if -ignore does not yet exist