Updated and working devbox recipe.