vagrantfile: fixing sudo rbenv

See comments in code.