You told me about a timestamp trick in the fileformat some time ago, I forgot the details, but I tried removing the timestamp line and I tried setting it to 0 or 1, but nothing helps to trigger a full DRC check anymore