libint2: some small changes