crossover source and libpq-deg