where is martin hairer’s compression software