Fixing exact-integer-sqrt on linux.