Since the code uses require(), a copy of the file must be present or it would have crashed. So there may be some disabling code of some sort in it.