Remove no longer used vagrantfile helper function