Update tools.
Fix #394.