| Index: Source/bindings/scripts/utilities.py
 | 
| diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py
 | 
| index 2cbd359087fea582e96292bfb9322045c6532096..9ea01d71e6c45ecc1cf7f07086303d1542c8cab8 100644
 | 
| --- a/Source/bindings/scripts/utilities.py
 | 
| +++ b/Source/bindings/scripts/utilities.py
 | 
| @@ -116,7 +116,7 @@ def write_pickle_file(pickle_filename, data, only_if_changed):
 | 
|              try:
 | 
|                  if pickle.load(pickle_file) == data:
 | 
|                      return
 | 
| -            except (EOFError, pickle.UnpicklingError):
 | 
| +            except Exception:
 | 
|                  # If trouble unpickling, overwrite
 | 
|                  pass
 | 
|      with open(pickle_filename, 'w') as pickle_file:
 | 
| 
 |