Rename dev_box to devbox to reflect repository rename.