updates from VMW to Pivotal