Feature #2879: Added option to vmwarerc