Fixing the build bots from the previous commit.