Fix bug building libgcc: