[R47]: Update coron-4.2 tools