Detailed version for VirtualBox to get minor version bugfixes

Due tue a last-minute regression your current VirtualBox package is broken (download leads to a 404 error), see https://www.virtualbox.org/wiki/Downloads.

This PR fixes that by using the full version string (4 levels) as package version.