Mutex fixes for fmpz and other places.