Build the library libdbgfm.a