Define uintptr_t in the profiling sources on x86_64 FreeBSD in 32-bit mode