Il formato x gcc è .a, io le ho tra le librerie del mingw.