OK, thanks a lot IhmSelbst.
You're using an "old" gcc, aren't you?
Please try adding a typedef unsigned long long uint64_t;
at the top of the MuleCollection.h file and compiling again.
I'll search for a better solution in the meanwhile.
Edit: Well, this should be defined in stdint.h, could please point me to your file?