You'll definitely want to check what's actually in those files as it's common to have malicious code appended to the end of javascript files. So you'll want to replace them but have someone who knows what they're doing to analyse them first to check what's in them compared to the default versions. If they have been modified you'll need to work with your host to work out how.