fix unresolved symbol error for __divdi3 by including it statically