fix version numbers and file names for virtualbox and vagrant downloads