Update ubuntu_devbox.md