Vagrant: Use port 8000 on the host