fix type issues in stdint.h so underlying types of 64-bit types match ABI

[musl] / src / time / ctime.c

#include <time.h>

char *ctime(const time_t *t)
{
        return asctime(localtime(t));
}