Dual purpose vacuum pump oil