Test4Theory@home: Please don't upgrade to Virtual Box 5.1.2 (now supported)

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...