After updating my Mac Ports packages including Unison on my Mac OS X, the Unison synchronization with my Linux server didn't work anymore. Unison stopped sometimes in the middle of the synchronization process with the error message Failure("input_value: bad bigarray kind").