name ginac lib feelpp_ginac when building static libs