updating devbox-debian definition to 7.1