Binary files differ

Not sure if this commit is needed, but dare not mess with the frail
rainforest of git in fear of inconsistencies!