Suppress a Coverity taint warning in check_status_file()