[[!comment format=mdwn username="gueux" subject="comment 2" date="2015-04-02T09:24:07Z" content=""" Indeed, \"make clean\" on the server worked. I don't know it could be made more robust to this kind of upgrade... """]]