ABI: fix build problems due to now needed div64 routine.