deployment, issue #1578: Avoid pinning kernel headers. Add Vagrantfile assumptions