Is the planned Pivotal IPO still on? | Fortune