@mpdonadio See the interdiff in #6, may be that is the reason.