Fix file name.
Get latest dev_tools.