making bagel compilable with libint again

after Ed's talk..