Ease vagrant activation rule, now that port 8000 is default.