Use Vagrant and CoreOS for non-Linux hosts.