Fix: add severity flag for ignored file warning (fixes #1401)