Make vitualbox the default vagrant provider again.