[YAGGLER/TOOLS]: ok, this time: really updated to the *latest* revision of the tim42/tools github repo