Make vmdkfile optional by auto-generating one in VBox scaffold