lab-setup: Use a separate name for the devbox