fix virtualbox machine names, update #17