updated dev tools

errors arose in CI.