Bug #1810: One more dynamic_cast check.

This one was safe because the OS attribute must be a vector,
it is enforced by VirtualMachine::parse_os