Patched libcmini to support GCC -mfastcall