Use correct build options for virtualbox