fixed libint2 library name when building as an external project