Updated to make things much less hacky. Machine seems to work exactly as expected, not with native performance, but a lot better than with VirtualBox shares like Boot2Docker...