modified post Devbox setup with vagrant