diff --git a/.github/workflows/build_vagrant.yml b/.github/workflows/build_vagrant.yml
index b2ae609dbe..7f41b70552 100644
--- a/.github/workflows/build_vagrant.yml
+++ b/.github/workflows/build_vagrant.yml
@@ -50,7 +50,7 @@ jobs:
       run: sudo apt-get update
 
     - name: Install VirtualBox
-      run: sudo apt-get install virtualbox-7.0
+      run: sudo apt-get install gcc12 virtualbox-7.0
 
     - name: Add Hashicorp GPG Key
       run: wget -O- https://apt.releases.hashicorp.com/gpg | sudo gpg --dearmor -o /usr/share/keyrings/hashicorp-archive-keyring.gpg
@@ -102,7 +102,7 @@ jobs:
         # Copy the machine's ssh key for the VMs to use, after removing prior files
         ssh-keygen -q -f $PWD/id_rsa -t rsa -N ''
         vagrant plugin install vagrant-vbguest
-        vagrant up
+        vagrant up --provider=virtualbox
         vagrantPORT=$(vagrant port | grep host | awk '{ print $4 }')
         rm -f playbooks/AdoptOpenJDK_Unix_Playbook/hosts.unx
         echo "[127.0.0.1]:${vagrantPORT}" >> playbooks/AdoptOpenJDK_Unix_Playbook/hosts.unx