Update dev_tools version with bug fix