Check also ac_cv_sizeof___int64 when requiring a 64-bit type.