Please don't upgrade to Virtual Box 5.1.2 as it does not seem to work for us at the moment. An issue(#1606) has been submitted to the developers.

More...