Updates to the devbox to help make it work