Vagrantfile fixes

- added port forwarding for 12345
- fixed pyelliptic issue