Removal of u64.h