Fix for modern Vagrant